CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 20 of 20 Results
1.
Gabriel Dumont The Metis Chief and His Lost World
Gabriel Dumont The Metis Chief and His Lost World by Woodcock, George, Miller, Jim ISBN: 9781551115757 List Price: $18.95
$113.82
2.
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SB...
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SB... by Oliveira, Marcel Vinícius ... ISBN: 9783642104510 List Price: $83.00
$52.33 (Save 36%)
3.
Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems by Jones, Cliff B., Liu, Zhimi... ISBN: 9783540752202 List Price: $89.95
$42.78 (Save 52%)
4.
Formal Methods and Software Engineering 5th International Conference on Formal Engineering M...
Formal Methods and Software Engineering 5th International Conference on Formal Engineering M... by Dong, Jin Song, Woodcock, Jim ISBN: 9783540204619 List Price: $98.00
$103.17
5.
Fm'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Syst...
Fm'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Syst... by Wing, Jeannette M., Woodcoc... ISBN: 9783540665885 List Price: $123.00
$60.45 (Save 50%)
6.
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20...
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... by Meyer, Bertrand, Meyer, Ber... ISBN: 9783540691471 List Price: $129.00
$32.26 (Save 74%)
7.
Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus by George, Chris, Liu, Zhiming... ISBN: 9783540749639 List Price: $59.95
$42.78 (Save 28%)
8.
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Eng...
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Eng... by Cavalcanti, Ana, Sampaio, A... ISBN: 9783540462538 List Price: $69.95
$36.37 (Save 48%)
9.
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, Ch...
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, Ch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397172 List Price: $95.00
$51.31 (Save 45%)
10.
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion o...
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion o... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642396977 List Price: $95.00
$52.33 (Save 44%)
11.
Software Engineering Mathematics - Jim Woodcock - Hardcover - North American ed
Software Engineering Mathematics - Jim Woodcock - Hardcover - North American ed by Woodcock, Jim, Loomes, Mart... ISBN: 9780201504248 List Price: $34.95
$56.92
12.
Green Guide to Birds of Britain and Europe
Green Guide to Birds of Britain and Europe by Flegg, Jim, Woodcock, Martin ISBN: 9781472973283
$7.89
13.
Using Z
Using Z by Woodcock, Jim, Davies, Jim ISBN: 9780139484728 List Price: $25.50
$57.69
14.
Software Engineering Mathematics
Software Engineering Mathematics by Woodcock, Jim, Loomes, Mart... ISBN: 9780273026730 List Price: $41.00

OUT OF STOCK

See Availability on Amazon
15.
3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, ...
3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, ... by Morgan, Carroll, Refinement... ISBN: 9783540196242 List Price: $39.00

OUT OF STOCK

See Availability on Amazon
16.
St. Louis Blues hockey club, 1967-2002: Note by note
St. Louis Blues hockey club, 1967-2002: Note by note by Jim Woodcock ISBN: 9780972354608
$117.36
17.
Unifying Theories of Programming and Formal Engineering Methods : International Training Sch...
Unifying Theories of Programming and Formal Engineering Methods : International Training Sch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397226 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Theoretical Aspects of Computing -- Ictac 2013 : 10th International Colloquium, Shanghai, Ch...
Theoretical Aspects of Computing -- Ictac 2013 : 10th International Colloquium, Shanghai, Ch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397196 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
19.
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering...
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering... by Dong, Jin Song, Woodcock, Jim ISBN: 9783662207789 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
20.
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Sympo...
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Sympo... by Qin, Shengchao, Woodcock, J... ISBN: 9783030912642
$80.06